home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / modprolg / mod-prol.lha / Prolog / Examples / tree.mod < prev    next >
Text File  |  1992-04-25  |  416b  |  18 lines
  1. signature btreedatasig1 =
  2.   sig
  3.     pred isleaf/1 and isnode/1 and mkleaf/1 and mknode/4 and
  4.               label/2 and leftchild/2 and rightchild/2.
  5.   end.
  6.  
  7. structure btreedata0/btreedatasig1 =
  8.   struct
  9.     fun leaf/0 and tree/3.
  10.     isleaf(leaf).
  11.     isnode(tree(_,_,_)).
  12.     mkleaf(leaf).
  13.     mknode(A,L,R,tree(A,L,R)).
  14.     label(tree(A,_,_),A).
  15.     leftchild(tree(_,L,_),L).
  16.     rightchild(tree(_,_,R),R).
  17.   end.
  18.